Disallow reprogram_ac_timer to change itm, since there's only one

hardware timer source on IA64.

Signed-off-by Kevin Tian <kevin.tian@intel.com>

diff --git a/xen/arch/ia64/xenmisc.c b/xen/arch/ia64/xenmisc.c
index 7a8000a9c6d4d8dad77256d512b2020d7eba5fca..b59cb0348041472c3de535bcd5daed05e33eaa48 100644 (file)
--- a/xen/arch/ia64/xenmisc.c
+++ b/xen/arch/ia64/xenmisc.c
@@ -122,7 +122,7 @@ int reprogram_ac_timer(s_time_t timeout)
        struct vcpu *v = current;
 
 #ifdef CONFIG_VTI
-       if(VMX_DOMAIN(v))
+//     if(VMX_DOMAIN(v))
                return 1;
 #endif // CONFIG_VTI
        if (!domain0_ready) return 1;